1. Computer science :
پدیدآورنده: Edward K. Blum, Alfred V. Aho, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Information theory.,Software engineering.
رده :
QA76
.
C66
2011
2. Formal Aspects of Component Software
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer Science; Software Engineering; Theory of Computation; Mathematical Logic and Foundations; Information Systems and Communication Service
3. Formal methods :
پدیدآورنده: Flemming Nielson, Hanne Riis Nielson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal methods (Computer science),Information theory.,Software engineering.,Formal methods (Computer science),Information theory.,Software engineering.
رده :
QA76
.
9
.
F67
N45
2019
4. Human Benefit through the Diffusion of Information Systems Design Science Research :
پدیدآورنده: edited by Jan Pries-Heje, John Venable, Deborah Bunker, Nancy L. Russo, Janice I. DeGross.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Information theory.,Software engineering.
رده :
QA76
.
9
.
S88
E358
2010
5. Informatik :
پدیدآورنده: Wolfgang Kastner, Gerhard-Helge Schildt ; Begleitbuch zu Blieberger et al., Informatik.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data structures (Computer science),Information theory.,Software engineering.,Data structures (Computer science),Information theory.,Software engineering.
6. Mathematical Foundations of Computer Science 1996 :
پدیدآورنده: edited by Wojciech Penczek, Andrzej Szałas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Information theory.,Software engineering.
رده :
QA76
.
9
.
M35
E358
1996
7. Optical Network Design and Modeling
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer Science; Computer Communication Networks; Data Structures, Cryptology and Information Theory; Software Engineering/Programming and Operating Systems; Computer Hardware
8. Software Engineering 3
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Information theory. ; Software engineering. ; Computer science. ; Logic design. ; Theory of Computation. ;
9. Software engineering and knowledge engineering
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Software engineering,Expert systems (Computer science),Knowledge representation (Information theory)
رده :
QA76
.
758
.
S6456
1995
10. Software engineering and knowledge engineering: trends for the next decade
پدیدآورنده :
موضوع : ، Software engineering,، Expert systems )Computer science(,، Knowledge representation )Information theory(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
11. Statistisches Matching mit Fuzzy Logic :
پدیدآورنده: Patrick Noll ; Mit einem Geleitw. von Paul Alpar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Information theory.,Software engineering.,Computer Science, general.,Software Engineering/Programming and Operating Systems.,Theory of Computation.
رده :
GB656
.
2
.
H9
12. Synchronous Programming of Reactive Systems
پدیدآورنده: by Nicolas Halbwachs.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Information theory.,Operating systems (Computers),Software engineering.
13. Vieweg Profi-Software WESTgraf :
پدیدآورنده: von Bernhard Stauss, Herbert Weidner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Information theory.,Software engineering.
رده :
TK7874
.
6
V663
1992
